Verification from Declarative Specifications Using Logic Programming Marco Montali1 , Paolo Torroni1 , Marco Alberti2 , Federico Chesani1 , Marco Gavanelli2 , Evelina Lamma2 , and Paola Mello1 1

Source URL: tmancini.di.uniroma1.it

• Programming paradigms
• Abductive logic programming
• Linear temporal logic
• Model checking
• Formal verification
• NuSMV
• Constraint programming
• Temporal logic
• Declarative programming
• Prolog
• Logic programming
• Entityrelationship model

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy

Source URL: www.cse.chalmers.se

• Mathematical optimization
• Constraint programming
• Logical consequence
• Statements
• Theorem
• Constraint
• Constraint logic programming
• Constraint satisfaction

Multi-area control of overlapping areas in power systems for FACTS control Gabriela Hug-Glanzmann∗ , Rudy Negenborn+ , G¨oran Andersson∗ , Bart De Schutter+,o , Hans Hellendoorn+ ∗ +

Source URL: www.eeh.ee.ethz.ch

• Constraint programming
• Mathematical optimization
• Electric power
• Operations research
• Power engineering
• Power-flow study
• Decomposition method
• Constrained optimization
• Economic model
• Bus

Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K.

Source URL: www.bedewell.com

• Model theory
• Constraint programming
• Logical truth
• Mathematical logic
• Formal languages
• Structure
• Interpretation
• Satisfiability
• Substitution
• Constraint satisfaction problem
• Complexity of constraint satisfaction
• Boolean satisfiability problem

Fundamenta Informaticaei–ii i DOIFIIOS Press

Source URL: www.mimuw.edu.pl

• Theoretical computer science
• Constraint programming
• Electronic design automation
• Formal methods
• NP-complete problems
• Constraint satisfaction
• Combinatorial optimization
• Fundamenta Informaticae
• Satisfiability
• Mathematical optimization

Road situation English version – SOSI standard 4.0 Road situation English version – SOSI standard 4.0

Source URL: kartverket.no

RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic

Source URL: www.doc.ic.ac.uk

• Constraint programming
• Abstract interpretation
• Symbolic execution
• Constraint
• Program optimization
• Concolic testing
• Constraint logic programming

KLEE: Effective Testing of Systems Programs Cristian Cadar Joint work with Daniel Dunbar and Dawson Engler April 16th, 2009

Source URL: www.doc.ic.ac.uk

• Constraint programming
• Abstract interpretation
• Symbolic execution
• Constraint satisfaction problem
• Paul Klee

Data Conflict Resolution Using Trust Mappings Wolfgang Gatterbauer Dan Suciu University of Washington, Seattle

Source URL: event.cwi.nl

• Constraint programming
• Probability theory
• Graphical models
• Logic programming

Road situation English version – SOSI standard 4.0 Road situation English version – SOSI standard 4.0

Source URL: www.kartverket.no